#tipificación estática